141. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
142. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989
143. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
283
144. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
283
145. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C388
1987
R
146. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389
147. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C3882
1989
148. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
389
149. Category theory and computer science: Manchester, UK, September, 1989, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Categories )Mathematics(
Classification :
QA
169
.
P7
1989
150. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... [et al.] (ed.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C3882
1989
R
151. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
Classification :
QA
75
.
5
.
S86
1991
152. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author: / D.H. Pitt ... (et al.) (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories (Mathematics) - Congresses
Classification :
QA75
.
5
.
S86
1991
153. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
530
154. Category theory and computer science: Paris, France, September 3-6, 1991 : proceedings
Author: / D.H. Pitt ... [et al.] (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science- Congresses,Categories (Mathematics)- Congresses
Classification :
QA75
.
5
.
S86
1991
155. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
Author: David Pitt, David E. Rydeheard, Peter Johnstone, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
Classification :
QA
76
.
6
.
B53
1995
156. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
Author: / Eugenio Moggi, Giuseppe Rosolini(eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
,.
6
.
B53
157. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
Author: Eugenio Moggi, Giuseppe Rosolini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
1290
158. Category theory applied to computation and control
Author: / edited by E. G. Manes
Library: Library of College of Science University of Tehran (Tehran)
Subject: Machine theory -- Congresses,Control theory -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
267
.
C35
159. Category theory applied to computation and control: proceedings of the first international symposium, San Francisco, Feb.25-26, 1974
Author: edited by E. G. Manes
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Machine theory,Congresses ، Automata,Congresses ، Control theory,Congresses ، Categories )Mathematics(
Classification :
QA
267
.
C35
160. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Control theory-- Congresses,، Categories )Mathematics(-- Congresses
Classification :
QA
267
.
C35
